Issue1436-20.agda:23,7-16
Could not parse the application • + • + •
Operators used in the grammar:
  + (infix operator, level 0) [_+_ (Issue1436-20.agda:9,5-8), 
                               _+_ (Issue1436-20.agda:17,5-8)]
when scope checking • + • + •
